perm filename BANQUO[S86,JMC]2 blob sn#819977 filedate 1986-06-29 generic text, type C, neo UTF8
COMMENT āŠ—   VALID 00002 PAGES
C REC  PAGE   DESCRIPTION
C00001 00001
C00002 00002	banquo[s86,jmc]		Notes for Banquet speech at logic programming conf.
C00003 ENDMK
CāŠ—;
banquo[s86,jmc]		Notes for Banquet speech at logic programming conf.

1. Expert system in metalogic for getting around British Nationality Act.
What is metalogic?  It's the system in which you write that program.
On my recent trip to Hong Kong that was all the rage.
The u.s. version will run on a Cray-3.
The trouble with the British is that they have ideas but others capitalize
in them.   Why when I passed through immigration last week there were
all these people with the pocket British Nationality Act expert systems.

2. Proving SDI won't work?